Performance Analysis in High-Level Synthesis
نویسندگان
چکیده
Two new performance estimation algorithms are presented in this report. One is an optimal lower-bound prediction for the Resource Constrained Problem, and we propose a branch-andbound algorithm to obtain the exact solution by means of some novel bounding techniques. Experimental results show the efficiency and effect of this algorithm. The other is an approximate predication technique which is applicable to the hardware compiler for fast performance estimation. As the hardware compiler adopts the software compilation techniques, but is different from the traditional synthesis approach, the second algorithm we propose here could easily be embedded into this kind of hardware compiler to obtain results quickly. Pu Geguang is a fellow at UNU/IIST on leave from the School of Mathematical of Peking University, China, where he is a Ph.D candidate. His research interest includes programming theory, co-design techniques for real-time systems, object-oriented technology. Email: [email protected] Jin Naiyong is the vice director of Co-Design Lab, Shanghai Embeded System Institute. His research interest includes programming theory, formal methods application, formal language specification and compiler prototype. Email: [email protected] He Jifeng is a senior research-fellow of UNU/IIST. He is also a professor of computer science at the Software Engineering Institute of East China Normal University. His research interests include the theories of programming languages, formal methods for safety-critical systems, parallel and distributed systems, component-oriented computing, co-design techniques for real-time embedded systems. Email: [email protected] Qiu Zongyan is a professor of computer science at the Department of Informatics, School of Mathematical Sciences of Peking University. His research interests include semantics, formal methods and programming languages. Email: [email protected] Copyright c © 2004 by UNU/IIST, Pu Geguang, Jin Naiyong, He Jifeng, and Qiu Zongyan
منابع مشابه
Factors Affecting Educational Reform at the Level of National and Regional Support for High School
Purpose: This research was conducted with the aim of identifying effective factors on educational reform at the level of national and regional supports for high school mathematics. Methodology: The present study in terms of purpose was applied and in terms of implementation method was qualitative, which was performed in two stages of synthesis research and content analysis. The research enviro...
متن کاملComparison of the Alterations of Gene Expression Related to Signaling Pathways of Synthesis and Degradation of Skeletal Muscle Protein Induced by Two Exercise Training Protocols
Background and Objectives: Skeletal muscle mass depends on the balance between synthesis and degradation of muscle protein, which changes with aging and disease. The aim of the present reserch was to examine the effects of two exercise training protocols on alterations of some genes involved in pathways of protein synthesis and degradation in order to achieve a more effective training program i...
متن کاملFabrication of cu based metal-organic framework / graphene Nanocomposite and study electrochemical performance in supercapacitors
High conductivity and high level of electrolyte availability are the main requirements of active materials used in supercapacitors (SCs) to achieve high electrochemical efficiency. In recent years, metal-organic frameworks (MOFs) have been used as electrode materials for SCs due to their suitability of porosity and high surface area. However, using single-component MOFs in supercapacitors resul...
متن کاملThe assesment of the effects of the nanoparticles on some physiological traits changes, photosynthetic pigments and the prthenolide of chamomile plant ( Tanacetum parthenium) under Water dificit stress
This research was done to investigate the effects of Nano-iron spray, the chemical synthesis of silver nanoparticles and the green synthesis of silver nanoparticles on chamomile plant( Tanacetum parthenium). It was done in the form of a completely random factorial design with three replications in the greenhouse of the agricultural college of Zabol university. The treatments included the first ...
متن کاملNano-Fe3O4 attached to Crosslinked sulfonated polyacrylamide (Cross-PAA-SO3H) as high performance catalyst for the synthesis of thiazoles under ultrasonic irradiations
Nano-Fe3O4 attached to Crosslinked sulfonated polyacrylamide (Cross-PAA-SO3H) as a superior catalyst has been utilized for the preparation of 3-alkyl-4-phenyl-1,3-thiazole-2(3H)-thione derivatives through a three-component reactions of phenacyl bromide or 4-methoxyphenacyl bromide, carbon disulfide and primary amine. The best results were gained in ethanol and we found that the reaction gave co...
متن کاملPerformance evaluation and availability analysis of ammonia synthesis unit in a fertilizer plant
This paper discusses the performance evaluation and availability analysis of ammonia synthesis unit of a fertilizer plant. The fertilizer plant is a complex and repairable engineering system comprises of various units viz. shell gasification and carbon recovery, desulphurization, co-shift conversion, decarbonation, nitrogen wash and ammonia synthesis etc. One of the most important functionaries...
متن کامل